Trio-One: Layering Uncertainty and Lineage on a Conventional DBMS

Trio is a new kind of database system that supports data, uncertainty, and lineage in a fully integrated manner. The first Trio prototype, dubbed Trio-One, is built on top of a conventional DBMS using data and query translation techniques together with a small number of stored procedures. This paper describes Trio-One's translation scheme and system architecture, showing how it efficiently and easily supports the Trio data model and query language

Pneumatose kystique intestinale révélée par une sténose d’une anastomose gastrojéjunale : à propos d’un cas

La pneumatose kystique intestinale est la présence de bulles gazeuses dans la paroi et les séreuses du tube digestif. Il s'agit d'une pathologie bénigne, rare, de diagnostic radiologique et de traitement médical. Nous rapportons le cas d'un homme âgé de 42ans, opéré il y a 6ans pour une sténose du bulbe duodénal d'origine ulcéreuse, il avait bénéficié d'une gastro-entéro-anastomose avec bivagotomie tronculaire. Il a été hospitalisé pour des vomissements associés à des épigastralgies. le patient a bénéficié d'une fibroscopie oeso-gastro-duodénale qui a trouvé une stase gastrique gênant toute exploration, ce qui a conduit à la réalisation d'une tomodensitométrie abdominale qui a objectivé un énorme estomac de stase en amont d'une sténose de l'anastomose gastro jéjunale, une pneumatose kystique intestinale et un pneumopéritoine. Le patient a été opéré et l'exploration a trouvé une ascite, un volumineux estomac de stase et des adhérences entre le grêle et le colon droit, sièges de la pneumatose, provoquant un tour de spire (volvulus) de l'ancienne anastomose gastro-jéjunale. L'estomac était atone. Une gastrectomie des 2/3 emportant l'ancienne anastomose suivie d'une anastomose type Finsterer manuelle a été réalisée. Les suites post opératoires étaient simples. La pneumatose kystique intestinale est une affection bénigne, de diagnostic radiologique. Le scanner permet d'étudier la diffusion des gaz dans les séreuses digestives. Son traitement est habituellement médical alors que ses complications peuvent relever d'un traitement chirurgical comme pour notre patient.Key words: Pneumatose kystique intestinale, sténose, anastomose gastro jéjunale, gastrectomie, gastrectomi

ERBlox: Combining Matching Dependencies with Machine Learning for Entity Resolution

Entity resolution (ER), an important and common data cleaning problem, is about detecting data duplicate representations for the same external entities, and merging them into single representations. Relatively recently, declarative rules called matching dependencies (MDs) have been proposed for specifying similarity conditions under which attribute values in database records are merged. In this work we show the process and the benefits of integrating three components of ER: (a) Classifiers for duplicate/non-duplicate record pairs built using machine learning (ML) techniques, (b) MDs for supporting both the blocking phase of ML and the merge itself; and (c) The use of the declarative language LogiQL -an extended form of Datalog supported by the LogicBlox platform- for data processing, and the specification and enforcement of MDs.Comment: To appear in Proc. SUM, 201

Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries

The algebraic approach for provenance tracking, originating in the semiring model of Green et. al, has proven useful as an abstract way of handling metadata. Commutative Semirings were shown to be the "correct" algebraic structure for Union of Conjunctive Queries, in the sense that its use allows provenance to be invariant under certain expected query equivalence axioms. In this paper we present the first (to our knowledge) algebraic provenance model, for a fragment of update queries, that is invariant under set equivalence. The fragment that we focus on is that of hyperplane queries, previously studied in multiple lines of work. Our algebraic provenance structure and corresponding provenance-aware semantics are based on the sound and complete axiomatization of Karabeg and Vianu. We demonstrate that our construction can guide the design of concrete provenance model instances for different applications. We further study the efficient generation and storage of provenance for hyperplane update queries. We show that a naive algorithm can lead to an exponentially large provenance expression, but remedy this by presenting a normal form which we show may be efficiently computed alongside query evaluation. We experimentally study the performance of our solution and demonstrate its scalability and usefulness, and in particular the effectiveness of our normal form representation

Visual recognition of gestures in a meeting to detect when documents being talked about are missing

Meetings frequently involve discussion of documents and can be significantly affected if a document is absent. An agent system capable of spontaneously retrieving a document at the point it is needed would have to judge whether a meeting is talking about a particular document and whether that document is already present. We report the exploratory application of agent techniques for making these two judgements. To obtain examples from which an agent system can learn, we first conducted a study of participants making these judgements with video recordings of meetings. We then show that interactions between hands and paper documents in meetings can be used to recognise when a document being talked about is not to hand. The work demonstrates the potential for multimodal agent systems using these techniques to learn to perform specific, discourse-level tasks during meetings

Les invaginations intestinales chez l’adulte : A propos de 19 cas

Le cathétérisme veineux central occupe une place considérable dans le traitement de l’insuffisance rénale terminale dans l’attente de la création d’une fistule artério-veineuse. Cependant il n’est pas dénué de complications. Nous rapportons un cas de pneumomédiastin tardif révélé par un œdème aigu du poumon chez une jeune patiente en hémodialyse, et nous discutons ses particularités. L'invagination intestinale est une affection rare chez l’adulte. Elle conduit le plus souvent à la découverte d’une cause organique pouvant être tumorale. Le but de notre travail est de dégager les particularités épidémiologiques diagnostiques et thérapeutiques de cette affection; à travers une étude descriptive rétrospective, ayant portée sur 19 cas d'invagination intestinale de l'adulte opérés dans le service des Urgences Chirurgicales Viscérales du CHU Hassan II de Fès du 1er janvier 2009 au Mars 2016.La douleur abdominale était présente chez tous les patients; L'échographie abdominale pratiquée chez neuf patients; elle a montré une image en cocarde dans cinq cas, une  masse abdominale dans un cas,  et un épaississement grélique pour un seul patient. La tomodensitométrie abdominale faite chez 15 patients a objectivé l’invagination intestinale dans tous les cas.Le traitement chirurgical a été adopté chez 18 patients; il a permis de faire la résection des segments intestinaux invaginé dans 16 cas opérés (87,5%). Le résultat anatomopathologique de la pièce de résection a retrouvé une cause organique de l’invagination dans 17 cas (89,47%).L’invagination intestinale chez l’adulte est souvent secondaire à une lésion organique : tumorale ou inflammatoire. Elle se caractérise par son polymorphisme clinique. Il s’agit essentiellement de phénomènes subocclusifs à répétition. Concernant le traitement de l’invagination intestinale de l’adulte, la résection du segment invaginé est toujours nécessaire car dans 80% des cas, cette affection est secondaire à une lésion organique qui doit être traitée